Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
361	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
362	MINUTES FOR APRIL 2007 MEETING OF ISO/JTC1/SC22/WG14 AND INCITS J11 WG14/N1267 Meeting Location: Monday, Wednesday, Thursday April 23, 25, & 26: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-11-10 16:14:55 Software engineering Computer programming Computing Cross-platform software C Object-oriented programming languages Procedural programming languages C99 C++ Floating point XTR De
363	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar
364	Project No : FP7Project Acronym: Add to Reading List Source URL: envisage-project.eu Language: English - Date: 2015-10-04 09:25:43 Software engineering Computing Computer programming Cross-platform software Concurrent programming languages Object-oriented programming languages Procedural programming languages Functional languages Haskell Java Go D
365	Low Level Virtual Machine for Glasgow Haskell Compiler By David Anthony Terei Supervisor Manuel M. T. Chakravarty Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-10-29 22:32:04 Software Computer programming Compilers Compiler construction LLVM Cross-platform software Glasgow Haskell Compiler Intermediate representation Object-oriented programming languages Haskell D Compiler
366	GEOSBeyond the Mouse: Computer Programming and Automation for Geoscientists (Fall 2014) Add to Reading List Source URL: www.uaf.edu Language: English - Date: 2015-09-09 19:41:50 Software Application software Array programming languages Econometrics software Linear algebra MATLAB Mathematical software Parallel computing Generic Mapping Tools Homework Unix Computer mouse
367	Language and Computers LTS: Grammatical Error Detection Introduction NLP and (I)CALL Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2016-02-19 11:30:21 Culture Languages of Africa Language Second-language acquisition Applied linguistics Language education Error Human communication Measurement Computer-assisted language learning Preposition and postposition English language
368	Work in Progress Session T4F USE OF VISUAL TOOLS IN DISTANCE TEACHING OF COMPUTATIONAL MODELS Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:56:41 Formal languages Combinatorics Mathematics Automata theory Visualization Theoretical computer science Science Scientific modelling Regular expression Finite-state machine
369	VA Smalltalk Update John O’Keefe Principal Smalltalk Architect Instantiations, Inc. Copyright © 2011, Instantiations, Inc. Add to Reading List Source URL: www.instantiations.com Language: English - Date: 2011-03-28 18:15:44 Software engineering Computer programming Programming language theory Object-oriented programming languages Smalltalk Seaside
370	XQuery Full Text Implementation in BaseX Christian Gr¨ un, Sebastian Gath, Alexander Holupirek, and Marc H. Scholl .@uni-konstanz.de Department of Computer & Information Science Box D 188, 78457 Kon Add to Reading List Source URL: files.basex.org Language: English - Date: 2012-06-22 19:25:05 Computing Data management Data Query languages Functional languages 4GL XQuery Markup languages BaseX XPath FLWOR Query optimization

UPDATE